Subgroup congruences for groups of prime power order

Given a $p$-group $G$ and subgroup-closed class $\mathfrak{X}$, we associate with each $\mathfrak{X}$-subgroup $H$ certain quantities which count $\mathfrak{X}$-subgroups containing subject to further properties. We show in Theorem I that one of the said is always $\equiv 1 \pmod p$ if only same holds for others. In II supplement above result by focusing on normal III obtain sharpened version celebrated theorem Burnside relative abelian groups bounded exponent. Various other corollaries are also presented.